#ifndef __GKOS_PRINT_H
#define __GKOS_PRINT_H
#include "lib/global.h"
extern uint32_t GetCursorPos_S();
extern void SetCursorPos(uint32_t pos);
extern void putchar_S(const char ch);
extern void PutString_S(const char* ch);
void FormatPrint(char* dst, const char* fmt, ...);
#endif